Symbolic Analysis for Data Plane Programs Specialization

Stage specialization for design and analysis of flotation circuits

This paper presents a new approach for flotation circuit design. Initially, it was proven numerically and analytically that in order to achieve the highest recovery in different circuit configurations, the best equipment must be placed at the beginning stage of the flotation circuits. The size of the entering particles and the types of streams including pulp and froth were considered as the bas...

Symbolic Analysis of Concurrent Programs with Polymorphism

System Lt l0 Symbolic Execution Refine abstract system

Symbolic Reaching Definitions Analysis of Ada Programs

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

It is well accepted that designing and analyzing concurrent software-components are tedious tasks. Assuring the quality of such software requires formal methods, which can statically detect deadlocks. This paper presents a symbolic data ow analysis framework for detecting deadlocks in Ada programs with tasks. The symbolic data ow framework is based on symbolic evaluation { an advanced technique...

Symbolic Methods for the Timing Analysis of Programs

Today, embedded software systems (ESS) are “ubiquitous” technical devices used on a daily basis by a vast number of people. We rely on these systems to work, that is to be functionally correct, and thus to operate as expected. Therefore, time and effort is invested to provide the expected quality for the ESS. For real-time ESS timing-properties are of special importance: such systems need not o...